Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromonilität

Im Rahmen des Ziel2.NRW Projekts SMART EM 1 entwickeln mehrere Projektpartner, u.a. s-lab – Software Quality Lab der Universität Paderborn, Orga Systems und Morpho Cards, einen Prototyp für eine IKT-Infrastruktur für Elektromobilität (EM). Dabei entwickeln die beteiligten Partner verteilte Teilsysteme dieser Infrastruktur, die jeweils auf Schnittstellenkompatibilität und funktionale Korrektheit geprüft werden müssen. Außerdem muss nach der Integration aller Teilsysteme ihr erfolgreiches Zusammenspiel getestet werden. Sowohl bei der Entwicklung als auch für die Qualitätssicherung (QS) dieser prototypischen Elektromobilitäts-IKT-Infrastruktur setzen wir modellbasierte Techniken ein.